منابع مشابه
Metafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...
متن کاملMETAFOL: Program tactics and logic tactics plus reflection
The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a logical meta-theory, which represents the computation implementing deduction in its object theory. Comp...
متن کاملEvasion Tactics
The number of countries that censor and monitor their citizens’ use of the Internet is increasing. While it is no secret that China and Iran censor the Internet, at least 25 countries, including Pakistan, Ethiopia, Thailand and Uzbekistan, also have technical filtering regimes in place. Some of the technology is even exported by western companies: search engines, blog hosting providers and emai...
متن کاملAlgorithm Theories and Design Tactics
Algorithm theories represent the structure common to a class of algorithms, such as divide-and-conquer or backtrack. An algorithm theory for a class A provides the basis for design tactics – specialized methods for designing A-algorithms from formal problem specifications. We illustrate this approach with recent work on the theory of global search algorithms and briefly mention several others. ...
متن کاملPolyandry and alternative mating tactics.
Many species in the animal kingdom are characterized by alternative mating tactics (AMTs) within a sex. In males, such tactics include mate guarding versus sneaking behaviours, or territorial versus female mimicry. Although AMTs can occur in either sex, they have been most commonly described in males. This sex bias may, in part, reflect the increased opportunity for sexual selection that typica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80757-6